|
||||
|
| ||||||||||||||||||||||
| 4,791 articles found for: pub-date > 1990 and pub-date < 2001 and mathematics | previous page < results 1 - 100 > | |||
RSS Feed | ||||
| |
|
|||
|
![]() |
|
| Chapter X Types in logic, mathematics and programming Studies in Logic and the Foundations of Mathematics, Volume 137, 1998, Pages 683-786 Robert L. Constable | ||||
| Chapter 13 Π10 classes in mathematics Studies in Logic and the Foundations of Mathematics, Volume 139, 1998, Pages 623-821 D. Cenzer, J.B. Remmel | ||||
| What is the philosophical basis of intuitionistic mathematics? Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 579-594 Richard Tieszen | ||||
| The Roots of Mathematics—the Roots of Structure The Nature of Mathematics and the Mathematics of Nature, 1998, Pages 7-38 Michael Jacob, Sten Andersson | ||||
| Introduction to the handbook of recursive mathematics Studies in Logic and the Foundations of Mathematics, Volume 139, 1998, Pages vii-xlvi Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel | ||||
| Introduction to the handbook of Recursive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 138, 1998, Pages vii-xlvi Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel | ||||
| The Mathematical Vernacular, A Language for Mathematics with Typed Sets Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 865-935 N.G. de Bruijn | ||||
| Self-Regulation: A Characteristic and a Goal of Mathematics Education Handbook of Self-Regulation, 2000, Pages 687-726 Erik de Corte, Lieven Verschaffel, Peter Op't Eynde | ||||
| The Mathematics of Failure and Reliability Reliability and Failure of Electronic Materials and Devices, 1998, Pages 175-236 Milton Ohring | ||||
| Mathematics (grades 7–12) Handbook of Academic Learning, 1997, Pages 343-368 Steven R. Williams | ||||
| A New Vision of the Nature and Purposes of Assessment in the Mathematics Classroom Handbook of Classroom Assessment, 1996, Pages 287-319 Frank K. Lester Jr., Diana V. Lambdin, Ronald V. Preston | ||||
| Developing Student Understanding in Elementary School Mathematics: A Cognitive Perspective Handbook of Academic Learning, 1997, Pages 307-341 Megan Loef Franke, Douglas A. Grouws | ||||
| Chapter 3 Understanding Elementary Mathematics Advances in Psychology, Volume 91, 1992, Pages 113-136 Jeffrey Bisanz, Jo-Anne LeFevre | ||||
| Formalization of Classical Mathematics in Automath Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 127-139 J. Zucker | ||||
| Mathematics Standard Handbook of Petroleum and Natural Gas Engineering, 1996, Pages 1-134 Patricia Duettra | ||||
| Microwave Mathematics Handbook of Microwave Technology, 1995, Pages 569-604 James Richie | ||||
| Some Useful Mathematics Physical Chemistry (Second Edition), 2000, Pages 1001-1020 Robert G. Mortimer | ||||
| By Their Fruits Ye Shall Know Them: Some Remarks on the Interaction of General Topology with Other Areas of Mathematics History of Topology, 1999, Pages 199-239 Teun Koetsier, Jan van Mill | ||||
| Mathematics for Thermodynamics Chemical Thermodynamics: Principles and Applications, 2000, Pages 593-616 J. Bevan Ott, Juliana Boerio-Goates | ||||
| Counting, Algebra and Periodicity—the Roots of Mathematics are the Roots of Life Biomathematics, 1999, Pages 7-26 Sten Andersson, Kåre Larsson, Marcus Larsson, Michael Jacob | ||||
| 8 Implications for Foundational Mathematics Advances in Psychology, Volume 109, 1995, Pages 75-85 | ||||
| [28] Programs for symbolic mathematics in biochemistry Methods in Enzymology, Volume 210, 1992, Pages 601-610 Herbert R. Halvorson | ||||
| Some Mathematics in Quantum Mechanics Physical Chemistry (Second Edition), 2000, Pages 1037-1043 Robert G. Mortimer | ||||
| From Classical Mathematics to Fuzzy Mathematics: Emergence of a New Paradigm for Theoretical Science Fuzzy Logic in Chemistry, 1997, Pages 31-63 George J. Klir | ||||
| Mathematics revision Spectral Analysis in Engineering, 1995, Pages 274-282 Grant E Hearn, Andrew V Metcalfe | ||||
| Commentary: Counting on Mathematics in Everyday Life Advances in Psychology, Volume 100, 1993, Pages 129-133 Robert H. Logie | ||||
| Review of Relevant Mathematics High Resolution NMR (3), 2000, Pages 393-396 Edwin D. Becker | ||||
| Chapter 3 Fuzzy Memory and Mathematics in The Classroom Advances in Psychology, Volume 100, 1993, Pages 91-119 Valerie F. Reyna, Charles J. Brainerd | ||||
| Mathematics for Probabilistic Safety Probabilistic Safety Assessment in the Chemical and Nuclear Industries, 2000, Pages 35-66 Ralph R. Fullwood | ||||
| Chapter 4 The Mathematics of Pattern Recognition Data Handling in Science and Technology, Volume 9, 1992, Pages 99-123 N. Bratchelf | ||||
| Visualization of Open Questions: French Study of Pupils' Attitudes to Mathematics Visualization of Categorical Data, 1998, Pages 149-158 Mónica Bécue Bertaut | ||||
| Review of Theorist: a Symbolic mathematics and graphics application Computer Methods in the Geosciences, Volume 15, 1996, Pages 299-301 Andy R. Bobyarchick | ||||
| Imaging Fundamentals and Mathematics Introduction to Medical Electronics Applications, 1995, Pages 109-123 D. Jennings, A. Flint, B.C.H. Turton, L.D.M. Nokes | ||||
| The Mathematics of Curvature The Language of Shape, 1997, Pages 1-42 Stephen Hyde, Barry W. Ninham, Sten Andersson, K 0are Larsson, Tomas Landh, Zoltan Blum, Sven Lidin | ||||
| [11] The mathematics of biological oscillators Methods in Enzymology, Volume 240, 1994, Pages 198-216 G. Bard Ermentrout | ||||
| Preface Mathematics in Science and Engineering, Volume 194, 1997, Pages viii-ix K.A. Ames, B. Straughan | ||||
| Discovery-Method Teaching in Graph Theory Annals of Discrete Mathematics, Volume 55, 1993, Pages 375-384 Phyllis Zweig Chinn | ||||
| The Birkhoff-Lewis Equations for Graph-Colorings Annals of Discrete Mathematics, Volume 55, 1993, Pages 153-158 William T. Tutte | ||||
| Relational Semantics in an Integrated System Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 937-946 R.M.A. Wieringa | ||||
| Chapter 5 Padé approximation Studies in Computational Mathematics, Volume 6, 1997, Pages 231-270 | ||||
| A Description of Automath and Some Aspects of its Language Theory Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 101-126 D.R. van Daalen | ||||
| References Annals of Discrete Mathematics, Volume 47, 1991, Pages 251-264 | ||||
| The State of the Three Color Problem Annals of Discrete Mathematics, Volume 55, 1993, Pages 211-248 Richard Steinberg | ||||
| Chapter V Gödel's functional (“dialectica”) interpretation Studies in Logic and the Foundations of Mathematics, Volume 137, 1998, Pages 337-405 Jeremy Avigad, Solomon Feferman | ||||
| Bibliography North-Holland Mathematics Studies, Volume 182, 1995, Pages 887-939 | ||||
| Chapter VIII The lengths of proofs Studies in Logic and the Foundations of Mathematics, Volume 137, 1998, Pages 547-637 Pavel Pudlák | ||||
| New Directions in Graph Theory (With an Emphasis on the Role of Applications) Annals of Discrete Mathematics, Volume 55, 1993, Pages 13-43 Fred S. Roberts | ||||
| Bibliography on Domination in Graphs and Some Basic Definitions of Domination Parameters Annals of Discrete Mathematics, Volume 48, 1991, Pages 257-277 S.T. Hedetniemi, R.C. Laskar | ||||
| Chapter 11 A bibliography of recursive algebra and recursive model theory Studies in Logic and the Foundations of Mathematics, Volume 138, 1998, Pages 515-581 I. Kalantari | ||||
| Bibliography North-Holland Mathematics Studies, Volume 169, 1992, Pages 249-257 | ||||
| References Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 975-994 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 130, 1991, Pages 327-344 | ||||
| The Future of Graph Theory Annals of Discrete Mathematics, Volume 55, 1993, Pages 5-11 Bela Bollobás | ||||
| Bibliography Annals of Discrete Mathematics, Volume 54, 1997, Pages 629-643 | ||||
| References North-Holland Mathematics Studies, Volume 181, 1994, Pages 421-428 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 125, 1992, Pages 603-641 | ||||
| Chapter VI Realizability Studies in Logic and the Foundations of Mathematics, Volume 137, 1998, Pages 407-473 A.S. Troelstra | ||||
| Chapter 16 Classifying recursive functions Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 533-586 Helmut Schwichtenberg | ||||
| Bibliography North-Holland Mathematics Studies, Volume 178, 1993, Pages 440-486 | ||||
| Bibliography North-Holland Mathematics Studies, Volume 166, 1991, Pages 469-473 | ||||
| Bibliography Studies in Mathematics and Its Applications, Volume 25, 1992, Pages 505-526 | ||||
| Bibliography North-Holland Mathematics Studies, Volume 177, 1993, Pages 831-884 | ||||
| Chapter I An introduction to proof theory Studies in Logic and the Foundations of Mathematics, Volume 137, 1998, Pages 1-78 Samuel R. Buss | ||||
| Chapter 1 The history and concept of computability Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 3-36 Robert I. Soare | ||||
| References North-Holland Mathematics Studies, Volume 179, 1993, Pages 273-301 | ||||
| The core model up to a woodin cardinal Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 157-175 William Mitchell | ||||
| The Mathematical Works of Manuel Valdivia North-Holland Mathematics Studies, Volume 170, 1992, Pages 1-55 John Horváth | ||||
| Bibliography Annals of Discrete Mathematics, Volume 46, 1991, Pages 399-443 | ||||
| References Mathematics Mechanization and Applications, 2000, Pages 507-539 Xiao-Shan Gao, Dongming Wang | ||||
| Preface Mathematics Mechanization and Applications, 2000, Pages xi-xv Xiao-Shan Gao, Dongming Wang | ||||
| Taking naturalism seriously Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 383-407 Penelope Maddy | ||||
| Bibliography North-Holland Mathematics Studies, Volume 183, 1996, Pages 889-951 | ||||
| Chapter 17 Computation models and function algebras Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 589-681 P. Clote | ||||
| Symmetry in Nonlinear Mechanics Mathematics in Science and Engineering, Volume 185, 1992, Pages 31-78 W.F. Ames | ||||
| Contributors Mathematics in Science and Engineering, Volume 186, 1992, Pages xxv-xxvii | ||||
| Cycle Covers and Cycle Decompositions of Graphs Annals of Discrete Mathematics, Volume 55, 1993, Pages 183-189 Cun-Quan Zhang | ||||
| Chapter 2 Π10 Classes in computability theory Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 37-85 Douglas Cenzer | ||||
| Bibliography Annals of Discrete Mathematics, Volume 50, 1991, Pages A.1-A.25 | ||||
| On Minimum Dominating Sets with Minimum Intersection Annals of Discrete Mathematics, Volume 48, 1991, Pages 239-254 Dana L. Grinstead, Peter J. Slater | ||||
| Multiplication, Nets and Planar Groups The Nature of Mathematics and the Mathematics of Nature, 1998, Pages 123-146 Michael Jacob, Sten Andersson | ||||
| Introduction Mathematics in Science and Engineering, Volume 197, 1998, Pages 1-8 | ||||
| Periodicity and the Complex Exponential The Nature of Mathematics and the Mathematics of Nature, 1998, Pages 73-98 Michael Jacob, Sten Andersson | ||||
| The Random f-Graph Process Annals of Discrete Mathematics, Volume 55, 1993, Pages 333-339 Krystyna T. BalińSka, Louis V. Quintas | ||||
| Introduction The Nature of Mathematics and the Mathematics of Nature, 1998, Pages 1-5 Michael Jacob, Sten Andersson | ||||
| Bibliography Annals of Discrete Mathematics, Volume 56, 1995, Pages 513-527 | ||||
| The witness function method and provably recursive functions of peano arithmetic Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 29-68 Samuel R. Buss | ||||
| Reflections on Automath Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 201-228 N.G. de Bruijn | ||||
| Matching and Vertex Packing: How “hard” are They? Annals of Discrete Mathematics, Volume 55, 1993, Pages 275-312 Michael D. Plummer | ||||
| Chapter 10 Complexity theoretic model theory and algebra Studies in Logic and the Foundations of Mathematics, Volume 138, 1998, Pages 381-513 Douglas Cenzer, Jeffrey B. Remmel | ||||
| Chapter 12 Computable rings and fields Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 363-447 V. Stoltenberg-Hansen, J.V. Tucker | ||||
| Chapter 8 The continuous functionals Studies in Logic and the Foundations of Mathematics, Volume 140, 1999, Pages 251-275 Dag Normann | ||||
| The impact of model theory on theoretical computer science Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 239-262 J.A. Makowsky | ||||
| Chapter 1 Pure computable model theory Studies in Logic and the Foundations of Mathematics, Volume 138, 1998, Pages 3-114 Valentina S. Harizanov | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 142, 1999, Pages 549-559 | ||||
| Chordal Graphs and Upper Irredundance, Upper Domination and Independence Annals of Discrete Mathematics, Volume 48, 1991, Pages 59-69 Michael S. Jacobson, Ken Peters | ||||
| Logic and philosophy in the twentieth century Studies in Logic and the Foundations of Mathematics, Volume 134, 1995, Pages 9-25 Georg Henrik von Wright | ||||
| Set Theory with Type Restrictions Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 841-847 N.G. de Bruijn | ||||
| Compound Closed Chains in Circular Planar Nearrings Annals of Discrete Mathematics, Volume 52, 1992, Pages 93-106 James R. Clay | ||||
| Chapter 16 A survey of recursive combinatorics Studies in Logic and the Foundations of Mathematics, Volume 139, 1998, Pages 1041-1176 W. Gasarch | ||||
| Formalization of Constructivity in Automath Studies in Logic and the Foundations of Mathematics, Volume 133, 1994, Pages 849-864 N.G. de Bruijn | ||||
| 4,791 articles found for: pub-date > 1990 and pub-date < 2001 and mathematics | previous page < results 1 - 100 > |
RSS Feed |
|
|
|




